

__attribute__((__section__(".make_id"))) char makeId[64] = __DATE__ " " __TIME__ ;

